Objects and polymorphism in system programming languages: a new approach

A low-level data structure always has a predefined representation which does not fit into an object of traditional object-oriented languages, where explicit type tag denotes its dynamic type. This is the main reason why the advanced features of object-oriented programming cannot be fully used at the lowest level. On the other hand, the hierarchy of low-level data structures is very similar to class-trees, but instead of an explicit tag-field the value of the object determines its dynamic type. Another peculiar requirement in system programming is that some classes have to be polymorphic by-value with their ancestor: objects must fit into the space of a superclass instance. In our paper we show language constructs which enable the system programmer to handle all data structures as objects, and exploit the advantages of object-oriented programming even at the lowest level. Our solution is based on Predicate Dispatching, but adopted to the special needs of system programming. The techniques we show also allow fo r some classes to be polymorphic by-value with their super. We also describe how to implement these features without losing modularity

Elosztott funkcionális programok helyessége = Verification of distributed functional programs

Biztonsági szempontból kritikus elosztott alkalmazások fejlesztéséhez számos új eszközt, modellt, helyességbizonyítási módszert és programozási nyelvi elemet hoztunk létre: megalkottuk funkcionális programok temporális tulajdonságai leírásának modelljét, kiterjesztettünk egy helyességbizonyító rendszert, altípusok invariánsainak kezelésére és bizonyítására új típuslevezetési rendszert terveztünk, új magasszintű nyelvi elemeket vezettünk be elosztott funkcionális programok leírásához. Kidolgoztuk az objektum-absztrakció funkcionális programozási modelljét a Clean nyelvhez. Megalkottuk a CPPCC módszert: az általunk temporális tulajdonságok bizonyítására is alkalmassá tett helyességbizonyítóval elkészítjük a kód tulajdonságainak bizonyítását géppel ellenőrizhető formában, majd a kódhoz hozzácsomagoljuk a bizonyított tulajdonságokat. A kiterjesztett helyességbizonyítóhoz megadtuk az új nyelvi elemek szintaxis és szemantikai definícióit, megjelennek az absztrakt objektumok, a specifikációs nyelvben megfogalmazhatók invariánsok és biztonságossági tulajdonságok. Megadtunk egy új altípusrendszert annotációk bevezetésével. Az annotációkkal megfogalmazott programtulajdonságokat részben a nyelv fordítóprogramja bizonyítja, részben a tételbizonyító rendszer segítségével lehet azokat bizonyítani. Megalkottuk a Clean nyelv egy kiterjesztését, amelynek segítségével funkcionális stílusban, magas absztrakciós szinten írhatunk elosztott funkcionális programot. | We introduced new models, tools and programming language concepts to support development of components of distributed safety critical applications. In a pure functional language functional variables are constants, but in case of interactive or distributed programs, or in ones that use IO we consider a series of values computed from each other as different states of the same abstract object. We developed a method to describe abstract objects and temporal properties in an extended version of Core language of the Clean Sparkle theorem prover and we extended the proof system to deal with temporal properties. We proposed CPPCC, a three-parties model of property carrying mobile code exchange. We designed also an extension to the type system which enables to express some safety properties of the program. The idea is to annotate types with type invariants and using subtype and belive-me marks. The annotations can express pre- and postconditions of functions, as well as propagation of properties. Those properties of programs that the annotations describe are either verified by the type checker of the compiler, or turned into theorems to prove by the theorem prover. The distributed evaluation of functions and the communication between Clean programs need a higher level process description and control mechanism. For this reason a control language, the D-Clean language and an intermediate level language, the D-Box language, and their informal semantics were introduced

Hatékonyságot és innovációs készséget befolyásoló szempontok vizsgálata a magyar sertéstenyésztésben

A hazai sertéságazat helyzete az elmúlt években folyamatos romlást mutatott. A depresszív folyamatok megállítása és az ágazat gyarapodása szempontjából kiemelten fontos lenne tudni, hogy milyen fejlődési-hatékonysági potenciál létezik a hazai sertéstenyésztésben. A mutatókzöme kvalitatív vagy nehezen mérhető. Az AKI FADN adatbázisában azonban rendelkezésre áll több nemzetközileg is elismert potenciáltényező, mint például a gazdasági vezető életkora, szakképzettsége, az üzemméret és egyes támogatási formák igénybevétele. Ezek a jellemzők a hazai sertéságazatban is befolyásolják a hatékony termelést, a fejlesztések mértékét, az innovációra való hajlandóságot és képességet. Az életkor és a szakképzettség az egyéni gazdálkodóknál még fontosabb szerepet játszik, mint a társas vállalkozásoknál, az üzemméret pedig a munkaerő-hatékonysággal áll szoros összefüggésben. Az életkor és a szakképzettség a mezőgazdaság többi szereplőjével összevetve is fontos befolyásoló tényezőnek bizonyult. Az ágazat fejlesztése során a stratégiai döntéshozatalkor e három változó kiemelt szerepet kaphat, a gazdálkodói réteg fiatalításával, a képzettség növelésével, az életképes méretű gazdaságok kialakításával, a sertéstenyésztők földhöz juttatásával az ágazat hatékonysága javítható. ----------------------------- There have been continuously worsening trends in the Hungarian pig breeding sector in recent years. With regard to the growth of the sector and halting these depressive processes it should be clearly known what potential for efficiency improvements and development exists in this sector. Most of the indicators are qualitative or at least hard to measure. However there are several factors of potential in the FADN AKI database that are acknowledged worldwide, for example the age of the farmers, the level of their agricultural skills, the farm size and the accessibility to several forms of support. These factors influence the effectiveness of production, the improvements, the willingness and the capability for innovating in the pig breeding sector in Hungary. The age and the skills of the farmers are even more important factors for private farms than for the enterprises, while the size of the farm is strongly connected with labour efficiency. The age and the skills of the farmers are also very important factors in relation to the other kinds of participants in the field of agriculture. These three elements can play an important role in the decision making processes for improving the sector. As farmers become younger, with the improvement of their skills, with the emergence of farms large enough to support farmers and their families, and with providing suitable areas of land to the pig breeders to produce fodder, the efficiency of the sector can be improved

Babes¸–Bolyai University

organized by th